Executing Trace Specifications Using Prolog
نویسندگان
چکیده
منابع مشابه
TECHNICAL REPORT 94-CSE-3 An Experiment Using Prolog to Investigate TRACE Specifications1
When we are to build a complete software system, it is widely recognized that a proper decomposition of the system in modules can speedup and facilitate the software building process. Such decomposition can be accomplished by means of modeling software modules as Abstract Data Types (ADTs). ADTs can be formally specified by using Bartussek and Parnas' TRACE. We investigate the suitability of us...
متن کاملExecuting Formal Specifications by Translation to Higher Order Logic Programming
We describe the construction and use of a system for translating higher order logic-based speciications into programs in the higher order logic programming language Lambda Prolog. The translation improves on previous work in the eld of executing speciications by allowing formulas with quantiiers to be executed, and by permitting users to pose Prolog-style queries with free variables to be insta...
متن کاملExperimenting a temporal logic for executable specifications in an engineering domain
This paper reports the results of an experiment with a logical specification language on an engineering case study. The proposed language extends the Event Calculus formalism with primitives for modeling context-dependency and discrete processes. In particular, it introduces a number of process constructors that provide a way of packaging related events into individual, conceptual chunks. It ha...
متن کاملAn Imperative Extension to Alloy and a Compiler for its Execution
This thesis presents an extension of the Alloy specification language with the standard imperative programming constructs, allowing for the natural specification of dynamic systems. Using this extension, programmers can express stateful behavior directly, mixing declarative and imperative styles as desired. A relational semantics for the new imperative constructs will ensure that specifications...
متن کاملDebugging Logic Programs Using Specifications
Logic programming has gained in popularity" in recent years. This style of programming, using Horn clauses to express procedural information, allows one to reason easily about the effects of executing program statements. We present a methodology for reasoning about the relationship between logic programs and their specifications, to help debug erronneous programs. To Mlow for debugging, the spe...
متن کامل